Right Alternative Rings of Characteristic Two

for all w, x, y and showed by example that (1.1) can fail to hold. Prior to this, Kleinfeld [l ] generalized the Skornyakov theorem in another direction by assuming only the absence of one sort of nilpotent element. We now specify Kleinfeld's result in detail. Let F be the free nonassociative ring generated by Xi and x2 and suppose that R is any right alternative ring. Kleinfeld calls t, u, v in R an alternative triple if (i) there exist elements a[xi, x2], |8[xi, x2], 7[xi, x2] in F and elements ru r2 in i?such xhatt=a[r\, r2], u=fi[ri, r2], v=y[ri,r2] and (ii) if Si and s2 are elements from an arbitrary alternative ring, and if t' =a[si, s2], u' =fi[si, s2], v' =y[si, s2], then (t', u', v') = 0. The ring R is said to have property (P) if t, u, v an alternative triple in R and (t, u, v)2 =0 imply (t, u, v) =0. By the definition of an alternative triple, an alternative ring has property (P). Kleinfeld's result is the converse, assuming characteristic not two; that is, a right alternative ring of characteristic not two is alternative if (and only if) it has property (P). We herein extend this line of investigation by proving that a right alternative ring of characteristic two, satisfying (1.1), is alternative if (and only if) it has property (P). The methods are mainly those used in [2], coupled with two essential lemmas (numbered 4 and 5 in our paper) due to Kleinfeld. Following [2], we say that R is strongly right alternative if R is a right alternative ring satisfying (1.1). Throughout the paper, R will always denote such a ring, with the additional hypothesis that R have characteristic two.